IPSECvalidate { A Tool to Validate IPSEC Con gurations IPSECvalidate { A Tool to Validate IPSEC Con gurations
نویسندگان
چکیده
This paper describes a tool for validating the proper con guration of the IPSEC protocol suite including IKE. The tool validates that two hosts are able to communicate (normal ping functionality) and that this communication is occurring using the proper authentication/encryption transformations as required by IPSEC. IPSEC con guration is very complex, and administrators are often unable to determine if a machine con guration is o ering the desired protection. IPSEC and IKE operate in a manner transparent to IP applications; an administrator is therefore unable to check the proper operation of an IPSEC "security association" using traditional IP tools.
منابع مشابه
IPSECvalidate: A Tool to Validate IPSEC Configurations
This paper describes a tool for validating the proper configuration of the IPSEC protocol suite including IKE. The tool validates that two hosts are able to communicate (normal ping functionality) and that this communication is occurring using the proper authentication/encryption transformations as required by IPSEC. IPSEC configuration is very complex, and administrators are often unable to de...
متن کاملCon gurations of curves and geodesics on surfaces
We study con gurations of immersed curves in surfaces and surfaces in 3{manifolds. Among other results, we show that primitive curves have only nitely many con gurations which minimize the number of double points. We give examples of minimal con gurations not realized by geodesics in any hyperbolic metric. AMS Classi cation 53C22; 57R42
متن کاملReactive Spin and Promela
Reactive Promela is an extension to the Promela language which lets the user specify con gurations of reactive automata. This provides a simple and powerful way to decompose a system. To simulate and verify systems written in Reactive Promela the tool Reactive spin has been developed. It is a preprocessor for spin which translates a Reactive Promela system into a corresponding Promela system. T...
متن کاملFinding Product Line Configurations with High Performance by Random Sampling
ABSTRACT Soware Product Lines (SPLs) have many features for customization. is raises the challenge to nd good performing congurations for an anticipated workload. As SPL conguration spaces are huge, it is infeasible to benchmark all congurations to nd an optimal one. Prior work focused on building performance models to predict and optimize SPL congurations; we randomly sample and recurs...
متن کاملMatrix String Theory from Brane Con guration
Con gurations of vebranes, twobranes and fourbranes in type IIA string theory, which give (1+1) dimensional supersymmetric gauge theories in the low energy limit, are constructed. It is shown that these brane con gurations are equivalent to a certain class of matrix string theories. This opens up an avenue for the investigation of matrix string dynamics via the geometry of brane con gurations i...
متن کامل